RWH bnot\_evalC 1